$\forall$$a$, $b$:$\mathbb{Z}$. (($a$ {-}{-} $b$) = 0) $\Leftarrow\!\Rightarrow$ ($a$ $\leq$ $b$)